Anne Sjerp Troelstra H Schwichtenberg; Helmut Schwichtenberg; A. S Troelstra; S Abramsky; P. H Aczel; J. W. de Bakker; Y Gurevich; J. V Tucker; C. J Van Rijsbergen
Cambridge University Press 2000
Acesso online. A biblioteca também possui exemplares impressos.