@phdthesis{1980-tichy ,title={{Software development control based on system structure description}} ,booktitle={{Software development control based on system structure description}} ,author={Walter F. Tichy} ,publisher={Carnegie-Mellon University} ,year={1980} }