Proof, language, and interaction essays in honour of Robin Milner - Plotkin, Gordon; Stirling, Colin P.; Tofte, Mads (Cambridge, Massachusetts The MIT Press, 2000)
Electronic reproduction
Keywords: Computer science; Electronic books