della Rocca (1992)

by L Egidi, F Honsell, S Ronchi
Venue:Fundamenta Informaticae