Proceedings - TRI-Ada (Conference)
ACM Digital Library