Preserving abstraction in concurrent programming (TR. University of Cambridge. Computer Laboratory)

Written by R. C. B Cooper