D.P.: A syntactic theory of sequential state (1989)

by M Felleisen, Friedman
Venue:Theor. Comput. Sci