@ARTICLE{Woodcock&95,
  KEY           = "Woodcock\&95",
  AUTHOR        = "J.C.P.\ Woodcock and P.G.\ Larsen (eds)",
  TITLE         = "Special issue on FME'93: Industrial-Strength 
                   Formal Methods",
  JOURNAL       = "IEEE Transaction on Software Engineering",
  YEAR          = "1995",
  MONTH         = "February",
  VOLUME        = "21",
  NUMBER        = "2",
  ANNOTE        = "",
  COMMENT       = "I will get this PGL"}