Operational, denotational and logical descriptions: 6. CONCLUSION 601 a case study. Fundamenta Informaticae 26 (1992)

by L Egidi, F Honsell, S R della Rocca