%0 Conference Paper %1 conf/popl/CookO75 %A Cook, Stephen A. %A Oppen, Derek C. %B POPL %D 1975 %E Graham, Robert M. %E Harrison, Michael A. %E Reynolds, John C. %I ACM Press %K dblp %P 160-166 %T An Assertion Language for Data Structures. %U http://dblp.uni-trier.de/db/conf/popl/popl75.html#CookO75

@inproceedings{conf/popl/CookO75, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cook, Stephen A. and Oppen, Derek C.}, biburl = {https://www.bibsonomy.org/bibtex/284e5c6d248ff1c48e9b795a28028228e/dblp}, booktitle = {POPL}, crossref = {conf/popl/1975}, editor = {Graham, Robert M. and Harrison, Michael A. and Reynolds, John C.}, ee = {https://doi.org/10.1145/512976.512993}, interhash = {19b864491c9ef25fcde0d46f3b8ea293}, intrahash = {84e5c6d248ff1c48e9b795a28028228e}, keywords = {dblp}, pages = {160-166}, publisher = {ACM Press}, timestamp = {2018-11-07T15:44:25.000+0100}, title = {An Assertion Language for Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl75.html#CookO75}, year = 1975 }