%0 Journal Article %1 journals/iee/Bowen89 %A Bowen, Jonathan P. %D 1989 %J Softw. Eng. J. %K dblp %N 1 %P 67-72 %T POS-formal specification of a Unix tool. %U http://dblp.uni-trier.de/db/journals/iee/iee-sej4.html#Bowen89 %V 4

@article{journals/iee/Bowen89, added-at = {2020-03-11T00:00:00.000+0100}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/2a5795c9c006f09cb40a2e06a0d2d9c9c/dblp}, ee = {https://www.wikidata.org/entity/Q56940441}, interhash = {6cc2e0b86fcdf2ac9cc864bf6d40ccd9}, intrahash = {a5795c9c006f09cb40a2e06a0d2d9c9c}, journal = {Softw. Eng. J.}, keywords = {dblp}, number = 1, pages = {67-72}, timestamp = {2020-03-12T11:40:19.000+0100}, title = {POS-formal specification of a Unix tool.}, url = {http://dblp.uni-trier.de/db/journals/iee/iee-sej4.html#Bowen89}, volume = 4, year = 1989 }