@misc{Kapp91a,
   author = {G.~Kappel AND M.~Schrefl},
   howpublished = {{Presented at: Workshop on Object-Oriented Formal Methods at ECOOP `91, Geneva, Switzerland}},
   month = jul,
   title = {{Operational Semantics of Object-Oriented Data Models based on Evolving Algebras}},
   year = {1991}
}
back