N. Kærgård and P. J. Pedersen, “III”, nt, vol. 110, Jan. 1972.