Natural Language at the Computer Scientific Symposium on Syntax ...
D. Barstow & W, Brauer & P. Brinch Hansen D & Gries D, Luckham & C, Moler & A. Pnueli G. & Seegmiiller J. Stoer & N. Wirth