Refinement Concepts Formalised in Higher Order Logic (1990)

by R J R Back, J von Wright
Venue:Formal Aspects of Computing