Ewen Denney

A theory of program refinement.
. University of Edinburgh, UK, (1999)British Library, EThOS.
  •  :
  •  :
далее