External Links

    Journal: BIT

    Volume 22, Issue 4

    402 -- 418Bjørn Kirkerud. Completeness of Hoare-Calculi Revisited
    419 -- 436Mats Löfgren, Boris Magnusson. Access Mechanisms in Block Structured Environments
    437 -- 453Peter Naur. Formalization in Program Development
    454 -- 462Mai Thanh, T. D. Bui. An Improvement of the Binary Merge Algorithm
    runs on