Current Trends in Programming Methodology: Software Specification and Design

Estimating file access time of floppy disks

Communications of the ACM

A project-unified software engineering course sequence

SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education

Adaptation and personalization of VLSI-based computer architecture

MICRO 14 Proceedings of the 14th annual workshop on Microprogramming

Specification prototyping

Proceedings of the workshop on Rapid prototyping

To use or not to use the goto statement: programming styles viewed from Hoare logic

Science of Computer Programming