1. Barwise, J., (ed.): Handbook of Mathematical Logic. Amsterdam: North-Holland 1977
2. Bauer, F.L.: Lecture Notes on Algorithmic Languages, Technical University Munich, July 1977
3. Bauer, F.L., Wössner, H.: Algorithmic Language and Program Development. Berlin, Heidelberg, New York: Springer 1982
4. Bergstra, J.A., Broy, M., Tucker, J.V., Wirsing, M.: On the power of algebraic specifications. Proc. 10th Int. Symp. on Mathematical Foundations of Computer Science, Strbske Pleso, Czechoslovakia. Lect. Notes Comput. Sci. Vol. 118, pp. 193–204. Berlin, Heidelberg, New York: Springer 1981
5. Bergstra, J.A., Meyer, J.-J.C: A simple transfer lemma for algebraic specification. Inf. Proc. Letters14, 80–85 (1982)