~ pulling this one off the shelf ~
Math Logic (1982) — OmList