@article{1994-Hofstede-EU-Identity,
  author		= "Hofstede, A.H.M. ter and Weide, Th.P. van der",
  title			= "{Deriving Identity from Extensionality}",
  journal		= "International Journal of Software Engineering and Knowledge Engineering",
  number		= "2",
  volume		= "8",
  month			= "June",
  year			= "1997",
  code			= "icis.CSI-N9503",
  research_group	= "iris",
  pages			= "189--221",
  class			= "Journal"
}