@inbook{e8297ab1a94147d793fb990a07a836b0,

title = "On observational equivalence and algebraic specification",

abstract = "The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification-building operation (observational abstraction) are studied. We begin with a definition of observational equivalence which is adequate to handle reachable algebras only, and show how to extend it to cope with unreachable algebras and also how it may be generalised to make sense under an arbitrary institution. Behavioural equivalence is treated as an important special case of observational equivalence, and its central role in program development is shown by means of an example. ",

author = "Donald Sannella and Andrzej Tarlecki",

year = "1985",

doi = "10.1007/3-540-15198-2_20",

language = "English",

isbn = "978-3-540-15198-2",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag GmbH",

pages = "308--322",

editor = "Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James Thatcher",

booktitle = "Mathematical Foundations of Software Development",

}