SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. - E. R. Anderson 001; Frank C. Belz; Edward K. Blum (Acta Informatica, 1976)

Issues in the Formal Specifications of Programming Languages. - Eric R. Anderson 001; Frank C. Belz; Edward K. Blum (Formal Description of Programming Concepts, 1977)

Extending an implementation language to a specification language. - E. R. Anderson 001; Frank C. Belz; Edward K. Blum (Mathematical Studies of Information Processing, 1978)

A multi-processing implementation-oriented formal definition of Ada in SEMANOL. - Frank C. Belz; Edward K. Blum; Dennis Heimbigner (SIGPLAN, 1980)

Reasoning about iteration: a cost-benefit approach. - Barry W. Boehm; Frank C. Belz (ISPW, 1986)

Applying process programming to the spiral model. - Barry W. Boehm; Frank C. Belz (ISPW, 1988)

Foundations for the Arcadia Environment Architecture. - Richard N. Taylor; Frank C. Belz; Lori A. Clarke; Leon J. Osterweil; Richard W. Selby; Jack C. Wileden; Alexander L. Wolf; Michal Young (Software Development Environments (SDE), 1988)

Experiences with the spiral model as a process model generator. - Barry W. Boehm; Frank C. Belz (ISPW, 1989)

A new approach to prototyping Ada-based hardware/software systems. - Frank C. Belz; David C. Luckham (TRI-Ada, 1990)

Partial orderings of event sets and their application to prototyping concurrent, timed systems. - David C. Luckham; James Vera; Doug Bryan; Larry M. Augustin; Frank C. Belz (J. Syst. Softw., 1993)