Books listed by ISBN

France) NATO Advanced Study Institute (1981 Bonas

Springer

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Computer Program Synthesis Methodologies978-90-277-1504-3
(90-277-1504-1)		1982Alan W. Biermann · Gerard Guiho

A. S. · n/a · N.A.S.

Frances Negrón-Muntaner