paper in lecture note in computer science format