Jeremy Yallop, David Sheets and Anil Madhavapeddy.
Journal paper in Science of Computer Programming (vol 164).
URL (linkinghub.elsevier.com) DOI BIB PDF
No abstract available
papers