_id,doi,title
3325,10.1145/1926385.1926454,Streaming transducers for algorithmic verification of single pass list processing programs