The beauty of mathematics in computer science. (2018)