A functional theory of exceptions. Science of computer programming (1990)

by Mike Spivey