denotational and logical descriptions: a case study (1992)

by Operational
Venue:Fund. Inform