On a Method of Verification of Functional Programsдоклад на конференции