Conceptual Structures: Information Processing in Mind and Machine (Systems Programming Series)