Sml2java a source to source translator Justin Koser, Haakon Larsen, Jeffrey Vaughan PLI 2003 DP-COOL.
TopazWroclove2013
ES Tools
A Framework for Using Materialized XPath Views in XML Query Processing Dapeng He Wei Jin.
CISC453 Winter 2010 Classical Planning AIMA3e Ch 10.
ALICE Off-line Computing: Status and Plans
Model Checking Large Software Specifications
Scalable and Flexible Static Analysis of Flight-Critical Software