Functional completeness criteria in Dijkstra algebra
scientific article; zbMATH DE number 921655
scientific article