Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS)— 68 стр.
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour— 152 стр.
Information technology - Programming languages, their environments and system software interfaces - Vienna development method - Specification language - Part 1: Base language— 416 стр.
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of Language-Independent Service Specifications (LISS)— 74 стр.