Hardi Hungar. Correstness of Programs over Poor Signatures. In Somenath Biswas, Kesav V. Nori, editors, Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings. Volume 560 of Lecture Notes in Computer Science, pages 109-120, Springer, 1991.
Abstract is missing.