PZ: A Z-based Formalism for Modeling Probabilistic Behavior - Hassan Haghighi (2010)