Grossman, Dan and Greg Morrisett. Scalable Certification for Typed Assembly Language.

[WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.  

Languages mentioned TAL {1997} Assembly language for TALC