Applied formal verification - Douglas L. Perry (McGraw Hill Companies, 2005)
tr, c.1-2/stoc3=c.1-2