A lambda-graph system for the Dyck shift and its K-groups - Krieger, Wolfgang; Matsumoto, Kengo (Documenta mathematica, 2003)