Defining Control Flow from an Applicative Specification (1988)

by P Lippens
Venue:Internal Report, Philips Research Laboratories