Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. "TALx86: A Realistic Typed Assembly Language"

[CSSS 1999] (1999) Proceedings of the 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA, USA, May 1999.  

Languages mentioned TAL {1997} Assembly language for TALC