A New Framework for Declarative Programming (2001)

by Stacy E. Finkelstein , Peter Freyd , James Lipton
Citations:10 - 3 self