Yet another encoding of TLA (1999)

by Stephan Merz
Venue:in isabelle. Available on the Internet: http://www.loria.fr/~merz/projects/isabelle-tla/doc/design.ps.gz