T01A-programming languages: T01A5-Computer-aided boolean algebra. - J. Millo; Christian Rey (ACM Conference on Computer Science, 1974)