An American National Standard IEEE Standard Pascal Computer Programming Language - Pascal (New York:IEEE Press, 1983)