publication venue for On developing and verifying design abstractions for reliable concurrent programming in Ada 2001 On developing and verifying design abstractions for reliable concurrent programming in Ada. XXI:48-55. 2001
