TY - BOOK AU - Broy, Manfred TI - Programming and mathematical method T2 - NATO ASI Series SN - 3540555587 PY - 1992/// CY - Berlin PB - Springer-Verlag ER -