Modular correctness proofs of behavioural implementations (1998)

by M Bidoit, R Hennicker
Venue:Acta Informatica