Formal Specifications are Mathematical Example from Robotics. - Vangular S. Alagar; Kasi Periyasamy (IROS, 1992)