Eerke A. Boiten Howard Bowman John Derrick Maarten Steen Viewpoint Consistency in Z and LOTOS: A Case Study. 644-664 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#BoitenBDS97 http://dx.doi.org/10.1007/3-540-63533-5_34