1. Social Choice and Individual Values;Arrow,1978
2. M. Balinski, R. Laraki, A Theory of Measuring, Electing and Ranking. Ecole Polytechnique, Cahier No. 2006-11, 2006, Laboratoire d’Econometrie, Paris. .
3. RelView – A system for calculation with relations and relational programming;Behnke,1998
4. Implementation of relational algebra using binary decision diagrams;Berghammer,2002
5. Relation-algebraic analysis of Petri nets with RelView;Berghammer,1996