"Diagrammatic Representation and Inference" - читать интересную книгу автора (Alan Blackwell, Kim Marriott, Atsushi Shimojima)