Text (hand-written)

Archive IFIP Working Conference "Program Specification and Transformation"

Text (hand-written)

Text (hand-written)

on reduction refinement

Date:

16.01.1986

Authors:

Boris N. Ostrovsky