Non-Euclidean, hyperbolic plane: Its structure and consistency - Kelly Paul; Matthews Gordon (New York Springer Verlag, 1981)
Appendix 291-326p.
Keywords: Hyperbolic