PASRO. PASCAL FOR ROBOTS - Blume, Christian (Springer, 1985)