1. Bidoit, M., Choppy, C., "Asspegique: an Integrated Environment for Algebraic Specifications", in: Ehrig, H. et al. (eds.), Proceedings of the TAPSOFT '85 Conference, pp. 246–260, LNCS 186, Springer, 1985
2. Bjørner, D., Jones, C.B., The Vienna Development Method: The Meta-Language, LNCS 61, Springer, 1978
3. Boyer, R.S., Moore, J.S., A Computational Logic, Academic Press, 1979
4. Buth, K.H., Wenzel, B., Proving the Correctness of a Code Generator Specification Using Term Rewriting Techniques, Bericht Nr. 8719, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, 1987
5. Despeyroux, J., "Proof of Translation in Natural Semantics", in: Proceedings Of The IEEE 1986 Symposium On Logic In Computer Science, pp. 193–205, IEEE Computer Society Press, Washington, D.C., 1986