Title: The source level optimization of turing plus
First published: 1987