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