Program specification proceedings of a workshop, Aarhus, Denmark, August 1981 (Springer, 1982)