%0 Journal Article %1 journals/tcs/Wand82 %A Wand, Mitchell %D 1982 %J Theor. Comput. Sci. %K dblp %P 3-32 %T Specifications, Models, and Implementations of Data Abstractions. %U http://dblp.uni-trier.de/db/journals/tcs/tcs20.html#Wand82 %V 20

@article{journals/tcs/Wand82, added-at = {2021-02-17T00:00:00.000+0100}, author = {Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/21a43bd4d7da01e9745e32732794a4f35/dblp}, ee = {https://doi.org/10.1016/0304-3975(82)90097-4}, interhash = {2a956724b5b01d48611064f0561fa84d}, intrahash = {1a43bd4d7da01e9745e32732794a4f35}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {3-32}, timestamp = {2024-04-08T18:38:10.000+0200}, title = {Specifications, Models, and Implementations of Data Abstractions.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs20.html#Wand82}, volume = 20, year = 1982 }