Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg Stack size analysis for interrupt-driven programs. 144-174 2004 194 Inf. Comput. 2 http://dx.doi.org/10.1016/j.ic.2004.06.001 db/journals/iandc/iandc194.html#ChatterjeeMMZHP04