An algebraic specification language, built on top of ASL.
Last updated: 2006-03-14
Proposition of a Language Useable for Structured Specifications
Try this search on
Updated: Thu, 13 Dec 2018 22:50:14 GMT
No longer supported by
Imperial College Department of Computing
Copyright Denis Howe 1985