by Donald Sannella , Michael Fourman , Haoran Peng , Philip Wadler
No reviews yet. Be the first!
Foundations of Algebraic Specification a...
Automata, languages and programming
Foundations Of Algebraic Specification A...
Programming Languages and Systems - ESOP...
Some Thoughts on algebraic specification
Formal program development in extended M...