Thomas J. Sager A Short Proof of a Conjecture of DeRemer and Pennello. 264-271 1986 8 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/5397.30850 db/journals/toplas/toplas8.html#Sager86