@ARTICLE{Andersen&92,
  KEY           = "Andersen\&92",
  AUTHOR        = "Michael Andersen and Ren\'e Elmstr\o{}m and
                   Poul B\o{}gh Lassen and Peter Gorm Larsen",
  TITLE         = "{Making Specifications Executable --  Using IPTES Meta-IV}",
  JOURNAL       = "{Microprocessing and Microprogramming}",
  YEAR          = "1992",
  MONTH         = "September",
  VOLUME        = "35",
  NUMBER        = "1-5",
  PAGES         = "521--528",
  SIZE          = "8",
  COMMENT       = "MA"}