Selected parers on automath - Geuvers J H; Vrijer R C De ed (Amsterdam Elsevier, 1994)
Keywords: Automata theory; Mathematical logic