Desafortunadamente, la mayoría de estas cosas no se conoció hasta 1972, y desarrolló el primer compilador en 1998 y una posterior aplicación en el año 2000 en la Universidad Libre de Berlín.