Mats Larsson An Engineering Approach to Formal Digital System Design. 101-110 1995 38 Comput. J. 2 db/journals/cj/cj38.html#Larsson95