ISO/IEC 10746-4:1998/AMD1:2001

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