From equations to patterns: logic-based approach to general systems theory. - Krivov, Serguei; Dahiya, Anju; Ashraf, Jaweed (International Journal of General Systems, 2002)