%0 Conference Paper %1 conf/ds/Wieringa90 %A Wieringa, Roel J. %B DS-4 %D 1990 %E Meersman, Robert %E Kent, William %E Khosla, Samit %I North-Holland %K dblp %P 415-438 %T Equational Specification of Dynamic Objects. %U http://dblp.uni-trier.de/db/conf/ds/ds90.html#Wieringa90 %@ 0-444-88929-9

@inproceedings{conf/ds/Wieringa90, added-at = {2019-03-14T00:00:00.000+0100}, author = {Wieringa, Roel J.}, biburl = {https://www.bibsonomy.org/bibtex/249cb66ad0cadbb02625de8b8f4ceded8/dblp}, booktitle = {DS-4}, crossref = {conf/ds/90}, editor = {Meersman, Robert and Kent, William and Khosla, Samit}, interhash = {efdbec075f46911696673759a87b65ca}, intrahash = {49cb66ad0cadbb02625de8b8f4ceded8}, isbn = {0-444-88929-9}, keywords = {dblp}, pages = {415-438}, publisher = {North-Holland}, timestamp = {2019-03-15T11:41:16.000+0100}, title = {Equational Specification of Dynamic Objects.}, url = {http://dblp.uni-trier.de/db/conf/ds/ds90.html#Wieringa90}, year = 1990 }