Adventures in time and space.

Norman Danner, James S. Royer

Browse the full POPL paper archive.