Hideo Shimizu, On discontinuous groups operating on the product of the upper half planes, Annals of Mathematics. 77 1 (1963) 5751 [ISSN 0003-486X, doi:10.2307/1970201, PMID 16593231, PMC 346984 , bibcode:1982PNAS…79.5751A, jstor:1970201]