Laboratory Prototype
-Nuno SantosTrusted Language Runtime (TLR) Software prototype, Mar. 2013, [bibTex]