Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems

@inproceedings{Shankar-Chandersekaran:ICSE76,
  author    = {K. S. Shankar and
               C. Sekar Chandersekaran},
  title     = {Dat Flow, Abstraction Levels and Specifications for Communications Switching Systems},
  booktitle = {ICSE},
  pages     = {585--591},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}