The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/lamus/
July 2016
Table of Contents