A. D. Astakhov Duality of Functions and Data in Algorithms Description. 38-40 1987 conf/fct/1987 FCT db/conf/fct/fct87.html#Astakhov87