Building domains from graph models (1992)

by W K-S Phoa
Venue:Math. Struct. in Comp. Sci