The logic of partial information with 160 figures - Nait Abdallah, Areski 1950- (Berlin Springer, 1995)
Keywords: Programming languages (Electronic computers) -- Semantics; Computer algorithms; Logic, Symbolic and mathematical