%0 Journal Article %1 journals/sigplan/Shang94 %A Shang, David L. %D 1994 %J ACM SIGPLAN Notices %K dblp %N 12 %P 58-65 %T Covariant Specification. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan29.html#Shang94 %V 29

@article{journals/sigplan/Shang94, added-at = {2020-05-26T00:00:00.000+0200}, author = {Shang, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2e3eedae3aaaa0a8c0c951cd7d699720c/dblp}, ee = {https://doi.org/10.1145/193209.193221}, interhash = {b18443a1f4773d8f2b752deb539e0046}, intrahash = {e3eedae3aaaa0a8c0c951cd7d699720c}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = 12, pages = {58-65}, timestamp = {2020-05-27T11:39:54.000+0200}, title = {Covariant Specification.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan29.html#Shang94}, volume = 29, year = 1994 }