spobooks5621225.0001.001 in

    12. This page is available at http://research.microsoft.com/users/lamport/tla/tla.html.


     [ return to text ]