Steve Dunne. Abstract Commands: a Uniform Notation for Specification and Implementation. Theoretical Computer Science, 42:104-123, 2001. [doi]
@article{Dunne01, title = {Abstract Commands: a Uniform Notation for Specification and Implementation}, author = {Steve Dunne}, year = {2001}, url = {http://www.elsevier.nl/locate/entcs/volume42.html}, researchr = {https://researchr.org/publication/Dunne01}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {42}, pages = {104-123}, }