%0 Journal Article %1 journals/cacm/Parnas83 %A Parnas, David Lorge %D 1983 %J Commun. ACM %K dblp %N 1 %P 75-78 %T A Technique for Software Module Specification with Examples (Reprint). %U http://dblp.uni-trier.de/db/journals/cacm/cacm26.html#Parnas83 %V 26

@article{journals/cacm/Parnas83, added-at = {2018-11-06T00:00:00.000+0100}, author = {Parnas, David Lorge}, biburl = {https://www.bibsonomy.org/bibtex/24cf7a655b1bed97497d28c301f6232bb/dblp}, ee = {https://doi.org/10.1145/357980.358011}, interhash = {199c88f63b8553fc0c6cfe83aa02ec38}, intrahash = {4cf7a655b1bed97497d28c301f6232bb}, journal = {Commun. ACM}, keywords = {dblp}, number = 1, pages = {75-78}, timestamp = {2018-11-07T12:01:37.000+0100}, title = {A Technique for Software Module Specification with Examples (Reprint).}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm26.html#Parnas83}, volume = 26, year = 1983 }