A proposal for the ASF family of specification languages: subequational programming with innermost reduction (0)

by J A Bergstra, M G J van den Brand
Venue:In preparation