Knuth's Problem
Richard S. Bird
Book Title
IFIP TC2/WG2.1 Working Conference on Constructing Programs from Specifications
Editor
B. Möller
Pages
1–8
Publisher
North−Holland
Year
1991
Richard S. Bird