MORRISETT, et al.. Stack-based Typed Assembly Language. Cambridge University Press (CUP), 2003, doi:10.1017/s0956796802004446.