Unifying Theories of Undefinedness in UTP (Q3455642)

From MaRDI portal