Implementation of modular algebraic speci (1991)

by P R H Hendriks