Uniqueness of coercions in ALGOL 68
scientific article; zbMATH DE number 3686764