Čertovica. Bocká dolina - Hochmuth, Zdenko (Stručný sprievodca, 1973)