Javier Miranda Edmond Schonberg Hristian Kirtchev The implementation of ada 2005 synchronized interfaces in the GNAT compiler. 41-48 2005 conf/sigada/2005 SIGAda http://doi.acm.org/10.1145/1103846.1103853 db/conf/sigada/sigada2005.html#MirandaSK05