An application of formal specification techniques. - A. Teruel (1985)