Nederpelt, Rob P., Geuvers, J. Herman and Vrijer, Roel C. de, eds. 1994. Selected Papers on Automath. Studies in Logic and the Foundations of Mathematics n. 133. Amsterdam: North-Holland Publishing Co.
Seuren, Pieter A. M., Capretta, Venanzio and Geuvers, J. Herman. 2001. “The Logic and Mathematics of Occasion Sentences.”Linguistics and Philosophy 24(5): 531–595.