Jutting, L.S. Checking Landau's "Grundlagen' in the AUTOMATH system. Doctoral dissertation, Eindhoven Univ., Math. Centre Tracts 83, Math. Centre, Amsterdam, 1979

(1979)

Languages mentioned