Friedrich L. Bauer Positivity and Norms. 9-13 1975 18 Commun. ACM 1 db/journals/cacm/cacm18.html#Bauer75