Springer.Elementary.Logic-For.Software.Development.Aug.2008