Quigley, B. Synthesis Digital Library of Engineering and Computer Science. ISTL 2009.