Abstract: An international language by which it is possible to determine the functional behavior of a logic or circuit diagram with minimal reference to supporting documentation is defined; as such, ...