A general completeness result in refinement (2000)

by Y Kinoshita, J Power
Venue:in: Proceedings of the 14th International Workshop on Algebraic Development Techniques, no. 1827 in Lecture Notes in Computer Science