Algebraic Groups. Utrecht 1986Arjeh M. Cohen, Wim H. Hesselink, Wilberd L. J. van der Kallen, Jan R. Strooker · First published 2006Open the Tome
Programs, recursion, and unbounded choiceWim H. Hesselink · First published 1992 · Latest edition 2005Open the Tome
