Andrzej Tarlecki. Władysław Marek Turski (1938-2013). Formal Asp. Comput., 26(5):863-864, 2014. [doi]
@article{Tarlecki14-1, title = {Władysław Marek Turski (1938-2013)}, author = {Andrzej Tarlecki}, year = {2014}, doi = {10.1007/s00165-014-0312-0}, url = {http://dx.doi.org/10.1007/s00165-014-0312-0}, researchr = {https://researchr.org/publication/Tarlecki14-1}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {26}, number = {5}, pages = {863-864}, }