The formulation of algorithms synthesis in terms of P-functions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 175)
Part I : A formalism and a computation method for the synthesis of algorithms
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1984