A procedural programming language designed by IBM's UK Laboratories