That's because it's a review paper. There are plenty of computer science papers that are impenetrable, or leave out all the important details. Build systems do

That's because it's a review paper. There are plenty of computer science papers that are impenetrable, or leave out all the important details. Build systems don't involve anything really complex. Go and read some papers on unbounded model checking if you want unapproachable.