1. An attribute grammar for the semantic analysis of Ada;Uhl,1982
2. An initial algebra approach to the specification, correctness, and implementation of abstract types;Goguen,1978
3. Data type specification: Parameterization and the power of specification techniques;Thatcher;Proc. SIGACT 10th Annual Symposium on Theory of Computing,1978
4. More on advice on structuring compilers and proving them correct;Thatcher,1979
5. Parameter passing in algebraic specification languages;Ehrig,1980