Non-standard Interpretations of LOTOS Specifications. - Tommaso Bolognesi; Diego Latella; Elisabetta Zuppa (TAPSOFT, Vol.2, 1991)