Anna Chmielinska
发表
Jan A. Bergstra,
Jerzy Tiuryn,
Anna Chmielinska,
1982,
Inf. Control..
Jan A. Bergstra,
Jerzy Tiuryn,
Anna Chmielinska,
1981,
Logic of Programs.