@misc{Draheim2002, author = {Draheim, Dirk and Weber, Gerald}, year = {2002}, title = {An introduction to state history diagrams}, howpublished = "http://dx.doi.org/10.17169/refubium-22340", }