The Formal Programming Language