Naming and scoping in a mathematical vernacular (1990)

by G Dowek