“…NATO Advanced Study Institute on Logic and Algebra of Specification Marktoberdorf, Germany…”