Michal Iglewski Marcin Kubica Jan Madey Trace Specifications of Non-Deterministic Multi-Object Modules. 381-395 1995 conf/asian/1995 ASIAN db/conf/asian/asian95.html#IglewskiKM95