The GLIM system : : release 4 manual - Francis, Brian (1994)