1. Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Dover, New York (1964)
2. Ashcroft, E.A., Manna, Z.: Formalization of Properties of Parallel Programs. In: Meltzer, B., Michie, D. (eds.) Proc. of the Sixth Annual Machine Intelligence Workshop 1970, Edinburgh, pp. 17–41. University of Edinburgh Press (1971)
3. Ben-Ari, M., Burns, A.: Extreme Interleavings. IEEE Concurrency 6(3), 90–91 (1998)
4. Lecture Notes in Computer Science;B. Burgstaller,2006
5. Dwyer, M.B., Hatcliff, J., Robby, Ranganath, V.P.: Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. Formal Methods in System Design 25(2-3), 199–240 (2004)