Implementation of a csp-based extension of Pascal. - José A. Cerrada; Manuel Collado (Microprocess. Microprogramming, 1988)