PAOSE
http://paose.net/wiki/MultiFormalism