Proof and synthesis. - Michael P. Fourman; W. J. Palmer; R. M. Zimmer (ICCD, 1988)