The Fortress language (recently discontinued) really pushed the boundaries of using mathematical notation in a programming language. The "mathematical" version looked like the pseudo-code examples many CS textbooks use.

Lots of examples here

http://stephane.ducasse.free.fr/Teaching/CoursAnnecy/0506-Ma...