Replacing passive tasks with Ada9X protected records | ACM SIGAda Ada Letters | DeepDyve