On some functional aspects of control (1988)

by Olivier Danvy
Venue:Program Methodology Group, University of Göteborg and Chalmers University of Technology