@article{1994-Hofstede-EU-Identity,
  author		= "{Hofstede}, A.H.M. ter and {van der Weide}, Th.P.",
  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"
}