Reading list: Interpreting the symbols and types
by Kevin J. Conner