Typed PHP - Christopher Pitt (Springer, 2016)