Diagrammatic Representation and Inference - Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz (Springer International Publishing, 2016)