Refinement Concepts Formalized in Higher Order Logic (1990)

by R J R Back, J von Wright
Venue:In Programming Concepts and Methods