1. “The Programming Language Ada,” Reference Manual,1981
2. An initial algebra approach to the specification, correctness and implementation of abstract data types;Goguen,1978
3. Parameter passing in algebraic specification languages;Ehrig,1982
4. An Abstract System Model of Ada Semantics;Blum;TRW Technical Report,1984
5. Implementation of data types by algebraic methods;Blum;J. Comput. System Sci.,1983