IFIP Working Conference on Formal Description of Programming Concepts. (1986 Ebberup, Denmark.)