“…NATO Advanced Study Institute on Deductive Program Design Marktoberdorf, Germany…”