Behaviour-re nement of object-oriented speci cations with coinductive correctness proofs (1996)

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