Cogumbreiro, Shirako, Sarkar, 2016. Formalization of Phase Ordering 211.. https://doi.org/10.4204/eptcs.211.2