TLA+ Use at Amazon

The TLA Web Page

My Collected Works

Cover of book entitled Specifying Systems

My Coordinates

       37° 24' 14" North  
      122°  2'  6" West

      address: Microsoft Corporation
               1020 Enterprise Way
               Sunnyvale, CA 94089

               I am happy to receive email from people,
               but not from spammers.  So, please do not
               put my email address on the Web in plain text.
               You may post this gif file if you wish.