00230nas a2200097   4500000000100000008004100001100001600042700001400058700001700072245004300089       2008                            d1 aArtur Rataj1 aB. Woźna1 aA. Zbrzeźny00aA translator of Java programs to TADDs