Valdis Berzins Object-oriented techniques based on specifications. 437-438 1988 COMPSAC https://doi.org/10.1109/CMPSAC.1988.17211 conf/compsac/1988 db/conf/compsac/compsac1988.html#Berzins88