Eric C. R. Hehner Ioannis T. Kassios Theories, Implementations, and Transformations. 1-21 2002 conf/zum/2002 ZB http://link.springer.de/link/service/series/0558/bibs/2272/22720001.htm db/conf/zum/zb2002.html#HehnerK02