Carola Eschenbach Viewing composition tables as axiomatic systems. 93-104 2001 FOIS http://doi.acm.org/10.1145/505168.505178 db/conf/fois/fois2001.html#Eschenbach01