404. That’s an error.
The requested URL /books/about/Logic_Based_Program_Synthesis_and_Transf.html?id=PplQAAAAMAAJ was not found on this server. That’s all we know.
/books/about/Logic_Based_Program_Synthesis_and_Transf.html?id=PplQAAAAMAAJ