@INPROCEEDINGS{Fitzgerald&95a,
  KEY           = "Fitzgerald\&95",
  AUTHOR        = "J.S.\ Fitzgerald and P.G.\ Larsen",
  EDITOR        = "M.\ Wirsing",
  TITLE         = "{Formal Specification Techniques in the Commercial
                   Development Process}",
  BOOKTITLE     = "Position Papers from the Workshop on Formal Methods
                  Application in Software Engineering Practice,
		  International Conference on Software
		  Engineering~(ICSE-17), Seattle", 
  YEAR          = "1995",
  MONTH         = "April",
  NOTE          = "http://home0.inet.tele.dk/pgl/icse.pdf",
  COMMENT       = "ADN"}