%0 Journal Article %1 journals/fgcs/AndersonBK94 %A Anderson, Paul %A Bolton, David %A Kelly, Paul H. J. %D 1994 %J Future Gener. Comput. Syst. %K dblp %N 1 %P 137-148 %T Paragon specifications: Structure, analysis and implementation. %U http://dblp.uni-trier.de/db/journals/fgcs/fgcs10.html#AndersonBK94 %V 10

@article{journals/fgcs/AndersonBK94, added-at = {2020-02-19T00:00:00.000+0100}, author = {Anderson, Paul and Bolton, David and Kelly, Paul H. J.}, biburl = {https://www.bibsonomy.org/bibtex/2813c594935a6fd4e1ee6338e429e1ad1/dblp}, ee = {https://doi.org/10.1016/0167-739X(94)90054-X}, interhash = {114c04e1ba9a7e4e17c5a36155da9200}, intrahash = {813c594935a6fd4e1ee6338e429e1ad1}, journal = {Future Gener. Comput. Syst.}, keywords = {dblp}, number = 1, pages = {137-148}, timestamp = {2020-02-20T12:08:10.000+0100}, title = {Paragon specifications: Structure, analysis and implementation.}, url = {http://dblp.uni-trier.de/db/journals/fgcs/fgcs10.html#AndersonBK94}, volume = 10, year = 1994 }