Interactive Functional Programs - Models, Methods, and Implementation (1996)

by Peter Achten