Algorithms from Theorems (1990)

by Johan Jeuring, Johan Jeuring
Venue:Programming Concepts and Methods