A transformational approach to formal digital system design

Mats Larsson. A transformational approach to formal digital system design. PhD thesis, Linköping University, Sweden, 1993.

Abstract

Abstract is missing.