McIver, AK; Morgan, C; Sanders, JW
(South African Computer Society (SAICSIT), 1997)
This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...