John Herbert. A Simple Algorithm Specification Language and its Application. In Henry McGloughlin, Gerard O Regan, editors, 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997. Workshops in Computing, BCS, 1997.
@inproceedings{Herbert97, title = {A Simple Algorithm Specification Language and its Application}, author = {John Herbert}, year = {1997}, researchr = {https://researchr.org/publication/Herbert97}, cites = {0}, citedby = {0}, booktitle = {1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Eire, 3-4 July 1997}, editor = {Henry McGloughlin and Gerard O Regan}, series = {Workshops in Computing}, publisher = {BCS}, }