1. Bernot, G., Bidoit, M.: Proving the correctness of algebraically specified software: Modularity and observability issues. Proceedings of Second International Conference on Algebraic Methodology and Software Technology, pp. 139?161, Iowa City, May 1991
2. Bernot, G., Gaudel, M.C., Marre, B.: Software testing based on formal specifications. Software Eng. J.6, 387?405 (1991)
3. Lect. Notes Comput Sci.;N.W.P. Diepen van,1988
4. EATCS Monogr. Theor. Comput. Sci.;H. Ehrig,1985
5. Fribourg, L.: SLOG, a logic programming language interpreter based on clausal superposition and rewriting. International Symposium on Logic Programming, Boston, July 1985