Wolfgang Grieskamp Markus Lepper Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. 43-53 http://link.springer.de/link/service/series/0558/bibs/1955/19550043.htm 2000 conf/lpar/2000 LPAR db/conf/lpar/lpar2000.html#GrieskampL00