%0 Journal Article %1 journals/expert/Reynolds86 %A Reynolds, Robert G. %D 1986 %J IEEE Expert %K dblp %N 4 %P 43-49 %T PMS: An Inference System to Monitor the Stepwise Refinement of Ada Pseudocode. %U http://dblp.uni-trier.de/db/journals/expert/expert1.html#Reynolds86 %V 1

@article{journals/expert/Reynolds86, added-at = {2015-09-10T00:00:00.000+0200}, author = {Reynolds, Robert G.}, biburl = {https://www.bibsonomy.org/bibtex/204cd80992b4f205f4c1aee1106718946/dblp}, ee = {http://dx.doi.org/10.1109/MEX.1986.4307006}, interhash = {68ca76fb939007aff77cb4665ab42064}, intrahash = {04cd80992b4f205f4c1aee1106718946}, journal = {IEEE Expert}, keywords = {dblp}, number = 4, pages = {43-49}, timestamp = {2015-09-11T11:41:55.000+0200}, title = {PMS: An Inference System to Monitor the Stepwise Refinement of Ada Pseudocode.}, url = {http://dblp.uni-trier.de/db/journals/expert/expert1.html#Reynolds86}, volume = 1, year = 1986 }