Title: Specification for computer programming language RTL/2