related documents On developing and verifying design abstractions for reliable concurrent programming in Ada Conferences
