On the correctness of refinement steps in program development

Ralph-Johan Back: On the correctness of refinement steps in program development. PhD thesis, Report A-1978-4, Department of Computer Science, University of Helsinki, 1978. 109 pages. <http://www.cs.helsinki.fi/TR/A-1978/4>

Full paper:
Metadata: XML file

Abstract

Index Terms

Categories and Subject Descriptors:

General Terms:

Additional Key Words and Phrases: