@InCollection{abadi:memory,
  author = 	 "Mart\'{\i}n Abadi and Leslie Lamport and Stephan Merz",
  title = 	 "A {TLA} Solution to the {RPC}-{M}emory Specification problem",
  booktitle =	 "Formal System Specification:
		  The {RPC}-{M}emory Specification Case Study",
  publisher =	 "Springer-Verlag",
  year =	 1996,
  editor =	 "Manfred Broy and Stephan Merz and Katharina Spies",
  volume =	 1169,
  series =	 "{L}ecture {N}otes in {C}omputer {S}cience",
  pages =	 "21--66",
  address =	 "Berlin",
  URL =          "http://www4.informatik.tu-muenchen.de/{\~}merz/papers/RPCMemory.html"
}