Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness (1997)

by B Jacobs
Venue:Proofs, Proc. TAPSOFT 1997, Springer LNCS 1214