Interested in systems that are described with an economy of expression that makes them as readable as a well-written, high-level specification.