A Formal Service Specification for IIOP based on ISO/IEC 14752.

Abhishek Singh Jonathan Billington A Formal Service Specification for IIOP based on ISO/IEC 14752. 111-125 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#SinghB02