@article {IOPORT.05925510,
    author       = {Solin, Kim},
    title        = {Normal forms in total correctness for while programs and action systems.},
    year         = {2011},
    journal      = {The Journal of Logic and Algebraic Programming},
    volume       = {80},
    number       = {6},
    issn         = {1567-8326},
    pages        = {362-375},
    publisher    = {Elsevier Science Inc. (North-Holland), New York, NY},
    doi          = {10.1016/j.jlap.2011.04.008},
    abstract     = {Summary: A classical while-program normal-form theorem is derived in demonic refinement algebra. In contrast to Kozen's partial-correctness proof of the theorem in Kleene algebra with tests, the derivation in demonic refinement algebra provides a proof that the theorem holds in total correctness. A normal form for action systems is also discussed.},
    identifier   = {05925510},
}