An assertional proof of Rana's algorithm
scientific article; zbMATH DE number 540890