and Amr Sabry. Correctness of monadic state: An imperative Bar84 (0)

by http www ps uni-saarland dealice AS98 Zena M Ariola