AWY 20 Installation ED04
Software Configuration Management into a CMMI Level 1 Project
CSL 2013 "Axiomatizing Subtyped Delimited Continuations"