Martin Gogolla Mark Richters On combining semiformal and formal object specification techniques. 238-252 1997 conf/wadt/1997 WADT db/conf/wadt/wadt97.html#GogollaR97