Behavioural correctness of data representations (1990)

by O Schoett
Venue:Sci. Comput. Program