T.: Deriving identity from extensionality (1998)

by ter Hofstede, A van der Weide
Venue:International Journal of Software Engineering and Knowledge Engineering