Jensen, Kathleen Pascal : user manual and report - 2a ed. - Springer Verlag 1979 LC Class. No.: QA76.73 / .P35J46 1979