Anthony A. Lekkos, Carl M. Peters
How to develop module logic using pseudo-code and stepwise refinement
DAC, 1978.
@inproceedings{DAC-1978-LekkosP, acmid = "803116", author = "Anthony A. Lekkos and Carl M. Peters", booktitle = "{Proceedings of the 15th Design Automation Conference}", pages = "366--370", publisher = "{ACM}", title = "{How to develop module logic using pseudo-code and stepwise refinement}", year = 1978, }