Towards a provably correct compiler for OBJ3 (1994)

by Lutz H Hamel, Joseph A Goguen
Venue:In Proceedings of the International Conference on Programming Language Implementation and Logic Programming, PLILP '94