%0 Journal Article %1 journals/tse/BorgidaMR95 %A Borgida, Alexander %A Mylopoulos, John %A Reiter, Raymond %D 1995 %J IEEE Trans. Software Eng. %K dblp %N 10 %P 785-798 %T On the Frame Problem in Procedure Specifications. %U http://dblp.uni-trier.de/db/journals/tse/tse21.html#BorgidaMR95 %V 21

@article{journals/tse/BorgidaMR95, added-at = {2015-12-10T00:00:00.000+0100}, author = {Borgida, Alexander and Mylopoulos, John and Reiter, Raymond}, biburl = {https://www.bibsonomy.org/bibtex/2e82177548a2e269de638533ea1aa3fea/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.469460}, interhash = {f22c03ef192c846dd1e949a09289c247}, intrahash = {e82177548a2e269de638533ea1aa3fea}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 10, pages = {785-798}, timestamp = {2015-12-12T11:43:24.000+0100}, title = {On the Frame Problem in Procedure Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse21.html#BorgidaMR95}, volume = 21, year = 1995 }