Elements of Synthesis Planning - Hoffmann, R. W. (Springer Berlin Heidelberg : Imprint: Springer, 2009)