Search for items in libraries:

Title: Algebraic Specification Techniques for Parametric Types with Logic-based Constraints By: David Briggs Remove frames