1. G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine. In Proceedings 2nd Conference on Functional Programming Languages and Computer Architecture, Nancy (France), volume 201 of Lecture Notes in Computer Science, pages 50–64. Springer-Verlag, 1985.
2. Department of Defense. Reference manual for the ADA programming language. Technical Report ANSI/MIL-STD-1815A, United States Government, 1980.
3. N. Dershowitz. Termination. In Proceedings 1st Conference on Rewriting Techniques and Applications, Dijon (France),volume 202 of Lecture Notes in Computer Science,pages 180–224, Dijon (France), May 1985. Springer-Verlag.
4. K. Futatsugi, J. A. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ-2. In B. Reid, editor, Proceedings 12th ACM Symp. on Principles of Programming Languages, pages 52–66. ACM, 1985.
5. I. Gnaedig. ELIOS-OBJ: Theorem proving in a specification language. In B. Krieg-Bruckner, editor, Proceedings of the 4th European Symposium on Programming, volume 582 of Lecture Notes in Computer Science, pages 182–199. Springer-Verlag, February 1992.