Value transforming style (1992)

by Christian Queinnec
Venue:WSA '92---Workshop on Static Analysis, number 81-82 in Bigre Journal