author : Dusko Pavlovic

Short works

• Semantics of First Order Parametric Specifications. 1999. (In FM'99 volume 1 )