Brandon Holt, James Bornholt, Irene Zhang, Dan R. K. Ports, Mark Oskin, Luis Ceze: Disciplined Inconsistency with Consistency Types. SoCC 2016: 279-293