Some inconsistencies in programming language implementation. - Antonio Salvadori; Christine Dumont (ACM SIGPLAN Notices, 1979)