Refinement Concepts Formalised in Higher-Order Logic," Formal Aspects of Computing 2 (1990)

by R J R Back