Observational interpretation of CASL specifications (0)

by M Bidoit, D Sannella, A Tarlecki
Venue:Mathematical Structures in Computer Science