Neil Toronto, Jay McCarthy: Computing in Cantor's Paradise with λ ZFC. FLOPS 2012: 290-306