@incollection{JirotkaGoguen1994:Introduction,
  title = "Introduction",
  author = "Marina Jirotka and Joseph Goguen",
  crossref = "JirotkaGoguen1994:Requirements",
  pages = "1-13",
}