Bib updates.

bibs/myrefs.bib

@@ -2911,17 +2911,6 @@ verification conditions},
   year         = {1985}
 }
 
-@article{Morgan:1996,
-  author       = {C Morgan and
-               A Mc{I}ver and
-               K Seidel},
-  title        = {Probabilistic Predicate Transformers},
-  journal      = toplas,
-  volume       = {18},
-  number       = {3},
-  year         = {1996}
-}
-
 @article{Kozen:1985,
   author       = {D. Kozen},
   title        = {A Probabilistic {PDL}},
@@ -6133,3 +6122,10 @@ url="https://doi.org/10.1007/BF00128175"
  keywords = {Concentration, Martingales, Probabilistic Programs, Termination},
 }
 
+@unpublished{mciver2016new,
+  title={A new rule for almost-certain termination of probabilistic and demonic programs},
+  author={McIver, Annabelle and Morgan, Carroll},
+  note={arXiv preprint arXiv:1612.01091},
+  year={2016},
+  url={https://arxiv.org/abs/1612.01091}
+}