This page is part of the specification language presented on my "The Art of Programming" pages. A separate page deals with static aspects and value representation of the language.
