Atsushi Togashi Glenn Mansfield Norio Shiratori Animating LOTOS Specifications Using Amlog. 5-19 1996 6 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S0218194096000028 db/journals/ijseke/ijseke6.html#TogashiMS96