Nunamaker, J. "A methodology for the design and optimization of information processing systems" pp283-294

[AFIPS] (1971) [AFIPS] Proceedings of the 1971 Spring Joint Computer Conference SJCC 38  

Languages mentioned SSL {1970} Systems specification language