Longin Dominique, Saban Raphael: Modélisation logique de ce qu'il serait bon (ou mauvais), MFI’05 – Formal Models of Interaction.