Reflections on the work of C.A.R. Hoare
A.W. Roscoe C.B. Jones and K.R. Wood (editors)
Publisher
Springer
Series
History of computing
Year
2010
A.W. Roscoe C.B. Jones and K.R. Wood (editors)