Ronchi Della Rocca S., “Operational, Denotational and Logical Description: a case study (1992)

by L Egidi, F Honsell
Venue:Fundamenta Informaticae