Hidden coinduction: behavioural correctness proofs for objects
GOGUEN, JOSEPH A., MALCOLM, GRANTVolume:
9
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129599002777
Date:
June, 1999
File:
PDF, 284 KB
english, 1999