Zaslat SMS: From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse.