Correctness preserving program refinements: proof theory and applications

Additional Metadata
Publisher	Centrum Voor Wiskunde en Informatica
ISBN	978-90-6196-207-6
Series	MC Tracts
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Back, R.-J. (1980). Correctness preserving program refinements: proof theory and applications. MC Tracts. Centrum Voor Wiskunde en Informatica.

Publication