The implementation of ada 2005 synchronized interfaces in the GNAT compiler. - Javier Miranda; Edmond Schonberg; Hristian Hristov Kirtchev (SIGAda, 2005)

A new robust and efficient implementation of controlled types in the GNAT compiler. - Hristian Hristov Kirtchev (HILT, 2012)