../ 2006a A Formal Specification of a Programming L..> 08-Nov-2006 00:36 218791 2009a Using Pit to Improve Security in Low-Leve..> 17-Jun-2009 02:48 109045 2009b Using Pit to Improve Portability in Low-L..> 17-Jun-2009 03:25 0 2009c A Formal Specification of a Programming L..> 17-Jun-2009 08:19 121485 2009d Pit, A New Low-Level Language (UND thesis..> 05-May-2009 17:00 368043 2009e Pit, A New Low-Level Language (unpublishe..> 21-Jun-2009 05:18 322792