Jinja with threads (2011)

by A Lochbihler
Venue:The Archive of Formal Proofs. http://afp.sourceforge.net/entries/JinjaThreads.shtml