ISO/IEC 10746-4:1998/Amd 1:2001

Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization