Paper Description: LLW95

@inproceedings{LLW95,

author="U.~Lechner and C.~Lengauer amd M.~Wirsing",

title="An Object-Oriented Airport: Specification and Refinement in Maude",

booktitle="Recent Trends in Data Types Specification",

editor="E.~Astesiano and G.~Reggio and A.~Tarlecki",

publisher="Springer Verlag",

series={Lecture Notes in Computer Science 906},

pages={351--367},

year="1995"

}