Tabulation typing.
Thompson, James M.,Author of "Tabulation Typing".
New York, 
[1955]