1. M.R. Barbacci:Instruction Set Processor Specification (ISPS): The Notation and its Application Techn. Report Dept. of Computer Science, Carnegie Mellon University, 1979
2. H. Beilner, A. Scholten:Strukturierte Modellbeschreibung und strukturierte Modellanalyse: Konzepte des Modellierungswerkzeugs HIT in: Informatik Fachberichte, Vol. 110, Springer, 1985
3. H. Beilner:Workload Characterization and Performance Modeling Tools in: G. Serazzi (ed.): Workload Characterization of Computer Systems & Computer Networks, North Holland, 1986
4. C.G. Bell, M. Knudsen, D. Siewiorek:PMS: A Notation to Describe Computer Structures Digest of 6th Annual IEEE Computer Scociety International Conference, 1972
5. Belness: The Use of SIMULA for Real-Time Implementation Norwegian Computing Center, Oslo, 1978