An explication of the logical model of role systems

Full text