Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs?
scientific article; zbMATH DE number 4121408
scientific article