Mathematics of Program Construction: Second International Conference, Oxford, U.K., June-July 1992 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: J. C. P. Woodstock (Editor)
Publisher: Springer
Published: April 1993
Language: eng
Number of pages: 386
ISBN-13: 9780387566252
First sentence: The ambivalence towards notation is reflected in what I am tempted to call "hybrid theories"; these are very traditional and are warmly recommended to this very day.