author : Reino Kurki-Suonio

Short works

• Component and Interface Refinement in Closed-System Specifications. 1999. (In FM'99 volume 1 )