ACM SIGACT News

works as
journal containing
Publication_icon.svg Paxos Made Simple (2001) — Leslie Lamport