Specifying and Refining Internal Operations in Z John DerrickEerke BoitenMaarten Steen Original Paper Pages: 125 - 159
A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic” Philippe de GrooteGuy Perrier Original Paper Pages: 160 - 170
Winskel is (almost) Right: Towards a Mechanized Semantics Textbook Tobias Nipkow Original Paper Pages: 171 - 186