"Jerzy Kostrzewski"@cs .