Some extensions of the AUTOMATH: the AUT-4 family (1974)

by N G de Bruijn