J. Ángel Velázquez-Iturbide Formalization of the control stack. 46-54 1989 24 SIGPLAN Notices 3 http://doi.acm.org/10.1145/66083.66086 db/journals/sigplan/sigplan24.html#Velazquez-Iturbide89