The CoFI algebraic specification language, tentative design: Language summary (1996)

by CASL
Venue:Department of Computer Science, University of Aarhus