1. Algorithmische Sprache und Programmentwicklung;Bauer,1981
2. Algorithmic Language and Program Development,1982
3. Towards an algebraic specification of code generation;Berghammer,1987
4. Rapid prototyping for algebraic specifications—Examples of the use of the RAP system;Geser,1985
5. Unification in conditional-equational theories;Hussmann,1985