CS 225 - Nilsson, 1976 -Diagrams