An informal description of Russell (1980)

by H Boehm, A Demers, J Donahue