Thomas Gehrke Thomas Firley Generative Sequence Diagrams with Textual Annotations. 65-72 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#GehrkeF99