Many existing languages were formally reviewed, but the team concluded in 1977 that no existing language met the specifications.
Algunhas linguaxes existentes foron revisadas formalmente, pero o equipo concluiu en 1977 que ningunha linguaxe cumpría tales especificacións.