An introduction to state history diagrams - Draheim, Dirk; Weber, Gerald (Freie Univ., Fachbereich Mathematik und Informatik, 2002)