Albert Gräf
Created Q, the equational programming language at the University of Mainz in Germany more »