Writing for computer science (Springer, 2014)