Skip to main content

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