On the Semantics of Refinement Calculi
Hongseok Yang and Uday S. Reddy
Book Title
Proceedings of the 3rd Conference on Foundations of Software Science and Computation Structures
ISBN
3−540−67257−5
Month
April
Organisation
Springer−Verlag
Pages
359–374
Series
Lecture Notes in Computer Science
Volume
1784
Year
2000