How These Things Work – A book about CS from first principles (2016)