Behaviour-refinement of object-oriented specifications with coinductive correctness proofs (1996)

by B Jacobs
Venue:Computing Science Institute, University of Nijmegen