selected publications

• academic article

  • Verification of microprogrammed computer architectures in the S*-system: a case study.  ACM Sigmicro Newsletter.  16:61-73. 1985

• chapter

  • An axiomatic approach to the specification of distributed computer architectures.  Springer eBooks. 103-120. 1987