R.C.: Relational programming laws in the tree, list, bag, set hierarchy (1994)

by P F Hoogendijk, Backhouse
Venue:Science of Computer Programming