I’ll shout out for ADA as well. Really enjoyed working with it. Compiler was a nit picking monster but the rigour ensured that you really considered your program. Thanks for making me remember.