“...IFIP Working Conference on Formal Description of Programming Concepts St. Andrews, Nový Brunšvik)...”