Graeme Smith Recursive Schema Definitions in Object-Z. 42-58 2000 conf/zum/2000 ZB http://link.springer.de/link/service/series/0558/bibs/1878/18780042.htm db/conf/zum/zb2000.html#Smith00