%0 Journal Article %1 journals/fac/DerrickBBS98 %A Derrick, John %A Boiten, Eerke A. %A Bowman, Howard %A Steen, Maarten %D 1998 %J Formal Asp. Comput. %K %N 2 %P 125-159 %T Specifying and Refining Internal Operations in Z. %U http://dblp.uni-trier.de/db/journals/fac/fac10.html#DerrickBBS98 %V 10

@article{journals/fac/DerrickBBS98, added-at = {2023-12-14T15:42:02.000+0100}, author = {Derrick, John and Boiten, Eerke A. and Bowman, Howard and Steen, Maarten}, biburl = {https://www.bibsonomy.org/bibtex/23bf4924926bcc95ad569c268a59efbfc/admin}, ee = {http://dx.doi.org/10.1007/s001650050007}, interhash = {ee6e77819c3e062d61425fc61fd3b1cd}, intrahash = {3bf4924926bcc95ad569c268a59efbfc}, journal = {Formal Asp. Comput.}, keywords = {}, number = 2, pages = {125-159}, timestamp = {2023-12-14T15:42:02.000+0100}, title = {Specifying and Refining Internal Operations in Z.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac10.html#DerrickBBS98}, volume = 10, year = 1998 }