http://aleph0.clarku.edu/~djoyce/gen/report/rr16/rr16_161.html#P83900

References

    1. Fitch, Jehremiah