Relational Program Derivation and Context−Free Language Recognition
Richard Bird and Oege de Moor
Book Title
A Classical Mind: Essays in Honour of C.A.R.Hoare
Chapter
2
Editor
A. W. Roscoe
Publisher
Prentice−Hall
Year
1994
Richard Bird and Oege de Moor