Data Refinement in Call-by-Value Languages (1999)

by Y Kinoshita, A J Power
Venue:Proceedings of CSL 99, Lecture Notes in Computer Science 1683