1.
Semantics of Specification Languages : Proceedings of the International Workshop on Semantic...
by Andrews, D.J., Groote, J.F....
ISBN: 9783540198543
List Price: $78.95
2.
3.
Typed Lambda Calculi and Applications
by Bezem, M., Groote, J.F.
ISBN: 9783540565178
List Price: $82.95