2
by Bridges, D. S., Richman, Fred
Published 1987
Cambridge University Press

3
by Mines, Ray, Richman, Fred, Ruitenburg, Wim
Published 1988
Springer New York