http://research.microsoft.com/en-us/um/people/lamport/tla/PlusCal.tla
上記のページにジャンプしようとしています。問題ない場合はクリックしてください。
