Makowski Marek
Social security reform : proceedings of the International Workshop Warsaw on 23-24 September, 1997 * A way to formalization * Model-based problem analysis: methods, pitfalls and tools