Theory of partial-order programming
scientific article; zbMATH DE number 1356326