Mathematical foundations of linearization algorithms: reflexive-transitive closures of binary relations. МІА 2016, 29, 19-33.