1
by Newman, J. N.
Published 1977
MIT Press

2
by Toffoli, Tommaso
Published 1987
MIT Press