A New Framework for Declarative Programming (2001)

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