Refinement Algebra with Explicit Probabilism.

T. M. Rabehaja, Jeff W. Sanders

Browse the full TASE paper archive.