K. Havelund

K. Havelund and K. G. Larsen. The fork calculus. Nordic Journal of Computing, 1(3):346-363, Fall 1994. Abstract, References, etc.