_id,doi,title
4622,10.1145/503209.503226,Interface automata