Author: NATO Advanced Study Institute on Program DesignCalculi (1992 Marktoberdorf, Germany)