Direct implementation of abstract data types from abstract specifications

Recommendations for software engineering education

SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education

Querying of Executable Software Specifications

IEEE Transactions on Software Engineering

Are constructive formal specifications less abstract?

ACM SIGPLAN Notices

Towards quality requirements via animated formal specifications

Annals of Software Engineering

Modular Verification of Data Abstractions with Shared Realizations

IEEE Transactions on Software Engineering