%0 Journal Article %1 journals/fac/Kazmierczak92 %A Kazmierczak, Edmund %D 1992 %J Formal Aspects Comput. %K dblp %N 1 %P 100-142 %T Modularising the Specification of a Small Database System in Extended ML. %U http://dblp.uni-trier.de/db/journals/fac/fac4.html#Kazmierczak92 %V 4

@article{journals/fac/Kazmierczak92, added-at = {2022-05-09T00:00:00.000+0200}, author = {Kazmierczak, Edmund}, biburl = {https://www.bibsonomy.org/bibtex/2d0aefe0478d026793497b95596b76395/dblp}, ee = {https://doi.org/10.1007/BF01214958}, interhash = {8cd722ca4e71fc7e2756253ba5d3d47c}, intrahash = {d0aefe0478d026793497b95596b76395}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 1, pages = {100-142}, timestamp = {2024-04-09T05:38:14.000+0200}, title = {Modularising the Specification of a Small Database System in Extended ML.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac4.html#Kazmierczak92}, volume = 4, year = 1992 }