Designing concurrent objects | ACM SIGAda Ada Letters | DeepDyve