1
by André, M., Barr, M., Bunge, M., Frei, A.
Published 1971
Springer Berlin Heidelberg

2
by Appelgate, H., Barr, M., Beck, J., Lawvere, F. W.
Published 1969
Springer Berlin Heidelberg