Belzer, J. Symbol Manipulation. srels 2000, 2, 161-173.