Advanced software in robotics proceedings of an international meeting held in Liége-Belgium, May 4-6, 1983 - Danthine, André; Géradin, Michel (North-Holland, 1984)