Skip to main content

On Transformations of Programs

Richard Bird

Journal
Journal of Computer and System Sciences
Pages
22−35
Volume
8
Year
1974