Ataru T. Nakagawa;Kokichi Futatsugi
SRA Inc., Tokyo, Japan;Electrotechnical Laboratory, Ibaraki, Japan
Stepwise refinement process with modularity
ICSE '89 Proceedings of the 11th international conference on Software engineering
Principles of OBJ2
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages