External Links

Journal: Science of Computer Programming

Volume 24, Issue 3

189 -- 220Bard Bloom, Robert Paige. Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem
221 -- 248Richard Banach. On Regularity in Software Design
249 -- 286Egon Börger, Dean Rosenzweig. A Mathematical Definition of Full Prolog
runs on