Pioneering work was done by Kyprianou in Cambridge also using the BUILD system and continued and extended by Jared and others.
Новаторская работа была проделана Киприану в Кембридже также с использованием системы BUILD и продолжена и расширена Джаредом и другими.