The SuRE programming framework (1995)

by B Jayaraman, K Moon
Venue:In Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95