TY - BOOK AU - Biermann A W AU - Guiho Gerard eds TI - Automatic program construction techniques U1 - 005.1 PY - 1984/// CY - N Y PB - Macmillan KW - Computer programming N1 - Also pub by collier Macmillan, London ER -