كما سعت المشاريع إلى وضع خوارزم لتحويل المواصفات المكتوبة في مجموعات خطوط متزامنة إلى مجموعة من النظريات التي يتعين إثباتها، والتي يمكن أن تستمد منها البرامج وأن تقدم تطبيقات مهمة في مجاﻻت الروبوتية أو الجيوديسيا أو المسح الجوي.
Los proyectos también procuraban diseñar un algoritmo para traducir un escrito de especificación en grupos de línea sincrónicos a un conjunto de teoremas por demostrar, de donde pudieran extraerse los programas susceptibles de ofrecer aplicaciones de interés en las esferas de la robótica y la geodesia o los levantamientos aéreos.