Alexander Krassovitskiy Peter Leupold Computing by Observing Insertion. 377-388 2012 LATA http://dx.doi.org/10.1007/978-3-642-28332-1_32 conf/lata/2012 db/conf/lata/lata2012.html#KrassovitskiyL12