Conference paper

Modularization around a suitable abstraction