SOLߞA Symbolic Language for General-Purpose Systems Simulation. - Donald E. Knuth; J. L. McNeley (IEEE Trans. Electron. Comput., 1964)

A Formal Definition of SOL. - Donald E. Knuth; J. L. McNeley (IEEE Trans. Electron. Comput., 1964)