Alfred Z. Spector TP is TP Heavy. 1993 conf/hpts/1993 HPTS db/conf/hpts/hpts93.html#Spector93