George Dayantis

Types, modularisation and abstraction in logic programming.
. University of Sussex, UK, (1988)British Library, EThOS.
  •  :
  •  :
далее