Bochenek Krystyn
Analizator równań algebraicznych liniowych ARAL