"Synthesis and Optimization of Programs by Means of P-Functions" - читать интересную книгу автора ( Andre Thayse)