Observer complete de nitions are behaviourally coherent (1999)

by Michel Bidoit, Rolf Hennicker
Venue:OBJ/CafeOBJ/Maude at Formal Methods '99