@article{367099, url = {http://digitallibrary.un.org/record/367099}, title = {Formal development of a toll way control system}, publisher = {UN University :}, recid = {367099}, pages = {i, 72 p.}, address = {Tokyo :. 1995-08}, year = {1995}, month = {Aug}, }