The Rewrite Rule Machine Project
By: J.A. Goguen et al.
Series: AD-A210 528
Published: 1989
Language: eng