Between Functions and Relations in Calculating Programs (1992)

by Graham Muir Hutton
Citations:15 - 4 self