A comparison of CORBA and ada’s distributed systems annex
The affordable application of formal methods to software engineering