External Links

Journal: Science of Computer Programming

Volume 49, Issue 1-3

1 -- 46Mark Burgess. On the theory of system administration
47 -- 88D. Ll. L. Rees, Karen Stephenson, J. V. Tucker. The algebraic structure of interfaces
89 -- 123Marco Comini, Roberta Gori, Giorgio Levi, Paolo Volpe. Abstract interpretation based verification of logic programs
125 -- 157Sharon A. Curtis. The classification of greedy algorithms
runs on