%0 Journal Article %1 journals/cj/CoulterCS87 %A Coulter, Neal S. %A Cooper, Robert B. %A Solomon, Martin K. %D 1987 %J Comput. J. %K dblp %N 3 %P 223-227 %T Information-Theoretic Complexity of Program Specifications. %U http://dblp.uni-trier.de/db/journals/cj/cj30.html#CoulterCS87 %V 30

@article{journals/cj/CoulterCS87, added-at = {2015-11-20T00:00:00.000+0100}, author = {Coulter, Neal S. and Cooper, Robert B. and Solomon, Martin K.}, biburl = {https://www.bibsonomy.org/bibtex/2db329159b87a6bf1d6894cedd720604a/dblp}, ee = {http://dx.doi.org/10.1093/comjnl/30.3.223}, interhash = {36a818f373dbfef4d56e8d6b58f468e3}, intrahash = {db329159b87a6bf1d6894cedd720604a}, journal = {Comput. J.}, keywords = {dblp}, number = 3, pages = {223-227}, timestamp = {2015-11-24T11:38:01.000+0100}, title = {Information-Theoretic Complexity of Program Specifications.}, url = {http://dblp.uni-trier.de/db/journals/cj/cj30.html#CoulterCS87}, volume = 30, year = 1987 }