Author: NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design (1986 Marktoberdorf, Germany)