Periyasamy, K (1991) Robotic agents and assembly process : a formal specification case study. PhD thesis, Concordia University.