Functional model for commuting isometries Karel Horák, Vladimír Müller (1989) Czechoslovak Mathematical Journal