Formal Systems (Europe) Ltd. Failures-Divergence Refinement (1995)

unknown authors
Venue:FDR