Total Correctness for Procedures (1977)

by Stefan Sokolowski
Venue:in Proceedings of 6th Symposium on Mathematical Foundations of Computer Science 1977, Lecture Notes in Computer Science # 53