John C. Reynolds emphasizes that formal specification languages are just as much programming languages as are the languages intended for execution.
Необходимо заметить, что на формат и применение ранних языков программирования в значительной степени влияли интерфейсные ограничения.