Operational, denotational and logical descriptions: a case study (1992)

by L Egidi, F Honsell, Ronchi della Rocca, S
Venue:Fund. Inform