Formal methods and object technology - Goldsack, Stephen J. (Hrsg.) (Formal approaches to computing and information technology, 1996)