1. Basic theory and methodology in EUROTRA;Arnold,1987
2. A MUI view of the CAT framework in EUROTRA;Arnold,1985
3. An extension of classical transformational grammar;Bach,1976
4. Algebraic specifications of computable and semicomputable data types;Bergstra;Theor. Comput. Sci.,1987