A New Framework for Declarative Programming (2001)

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