Theoretical aspects of structured-modular composition programming: Algebra of morphisms
1995 ◽
Vol 31
(1)
◽
pp. 123-130
◽
Keyword(s):