Title: PUCMAT--a programming module for arithmetic pattern-matching
Subjects: PUCMAT (Computer program language)