Operational semantics of weak sequential composition = Nõrga jadakompositsiooni operatsioonsemantika
Maarand, Hendrik
2020
https://digikogu.taltech.ee/et/Item/40485316-9724-464b-9428-5686ad3814eb