Mark Sanderson C. J. van Rijsbergen 205-217 1991 4 Electronic Publishing 4 db/journals/epodd/epodd4.html#SandersonR91