LATIN 2012: Theoretical Informatics e-bokEngelsk, 2012