AN-2: Revised action notation—syntax and semantics. Available at http://www.brics.dk/~pdm/papers/Mosses-AN-2-Semantics (2000)

by P D Mosses