@ARTICLE{Larsen&94b,
  KEY           = "Larsen\&94",
  AUTHOR        = "Peter Gorm Larsen, Nico Plat, and Hans Toetenel",
  TITLE         = "{A Formal Semantics of Data Flow Diagrams}",
  JOURNAL       = "Formal Aspects of Computing",
  VOLUME        = "6",
  NUMBER        = "6",
  YEAR          = "1994",
  MONTH         = "December",
  ANNOTE        = "",
  COMMENT       = "BIB. I have both a hard and a softcopy of it (PGL)."}