Title of program: FORMAL Catalogue Id: AABK_v1_0 Nature of problem The amount of working space required by many computer programs varies according to the 'characteristic size' of the physical pr
Title of program: OLYMPUS FOR IBM 370/165 Catalogue Id: ABUF_v2_0 [ABUJ] Nature of problem A standard methodology called the OLYMPUS system has been established for constructing, testing and op
