Domain−specific Semantics and Data Refinement of Object Models
Jim Davies‚ David Faitelson and James Welch
Journal
Electronic Notes in Theoretical Computer Science
Pages
151–170
Volume
195
Year
2008
Jim Davies‚ David Faitelson and James Welch