1. Agha, G., Meseguer, J., Sen, K.: PMaude: rewrite-based specification language for probabilistic object systems. Electron. Notes Theor. Comput. Sci. 153(2), 213–239 (2006)
2. Lecture Notes in Computer Science;M AlTurki,2011
3. Alturki, M.A., Roşu, G.: Statistical model checking of RANDAO’s resilience against pre-computed reveal strategies. Technical report, The University of Illinois at Urbana-Champaign, November 2018.
http://hdl.handle.net/2142/102076
4. Boneh, D., Bonneau, J., Bünz, B., Fisch, B.: Verifiable delay functions. Proc. Crypto 2018, 757–788 (2018)
5. Bruni, R., Meseguer, J.: Semantic foundations for generalized rewrite theories. Theor. Comput. Sci. 360(1–3), 386–414 (2006)