http://www.cs.umd.edu/~abadi/papers/abadi-pacelc.pdf

abadi-pacelc.pdf