Tianrong Lin: On commutativity of quantum weakest preconditions. CoRR abs/1108.4607 (2011)