(TXT) The article (TXT) The floating-point source (TXT) The fixed-point source (DIR) The Trivial_Trie Ada library