1. Specification for computer programming language Pascal. (1st December 1987) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (1 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807). (30th September 1985) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (50 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Open Systems Interconnection. Specification for basic encoding rules for Abstract Syntax Notation One (ASN.1). (29th February 1988) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (19 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Open Systems Interconnection: specification for Abstract Syntax Notation One (ASN.1). (30th June 1988) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (52 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Memorandum on the standardization of the programming language PL/1. (28th September 1990) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (8 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Specification for computer programming language RTL/2. (30th September 1980) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (52 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Method of defining syntactic metalanguage. (31st December 1981) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (24 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Specification for computer programming language CORAL 66. (31st October 1980) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (42 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Information processing systems. Open systems interconnection. LOTOS. A formal description technique based on the temporal ordering of observational behaviour. (31st December 1990) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (126 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Information technology. Programming languages. Extended Pascal. (30th September 1991) Authors: British Standards Institution, Record Type: Book Extent: 1 online resource (200 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗