Michel Bidoit Donald Sannella Andrzej Tarlecki Observational interpretation of Casl specifications. 325-371 2008 18 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S0960129507006536 db/journals/mscs/mscs18.html#BidoitST08