TLA+ specification of the consistent prefix guaranteemuratbuffalo.blogspot.com7 pointsr4um8 years ago