A syntactic theory of sequential control (0)

by D P et al Friedman