A Fixed Point Approach to Applicative Multiprogramming (1981)

by Manfred Broy
Venue:In Lecture notes for the International Summer School on Theoretical Foundations of Programming Methodology