@unpublished{lamport1992the,
author = {Lamport, Leslie},
title = {The Reduction Theorem},
year = {1992},
month = {April},
abstract = {This note states and proves a TLA reduction theorem. See the discussion of [123]. Text versions of this and all other TLA notes are available here.},
url = {http://approjects.co.za/?big=en-us/research/publication/the-reduction-theorem/},
}