| Doktryna jakości A Blikle Inicjatywa Firm Rodzinnych Polska Agencja Rozwoju Przedsiębiorczości, 2011 | 164 | 2011 |
| Doktryna jakoĹ› ci: rzecz o skutecznym zarzÄ… dzaniu A Blikle Helion, 2014 | 92 | 2014 |
| A Three-Valued Logic for Software Specification and Validation. Tertium tamen datur B Konikowska, A Tarlecki, A Blikle Fundamenta informaticae 14 (4), 411-453, 1991 | 75 | 1991 |
| Naive denotational semantics A Blikle, A Tarlecki Polish Academy of Sciences [PAS]. Institute of Computer Science, 1983 | 54 | 1983 |
| An algebraic approach to the theory of programs, algorithms, languages and recursiveness A Blikle, A Mazurkiewicz PAN, 1972 | 49 | 1972 |
| Doktryna jakoĹ› ci: rzecz o turkusowej samoorganizacji A Blikle Wydawnictwo Helion, 2022 | 43 | 2022 |
| Three-valued predicates for software specification and validation A Blikle Fundamenta Informaticae 14 (4), 387-410, 1991 | 38 | 1991 |
| Three-valued predicates for software specification and validation A Blikle VDM'88 VDM—The Way Ahead: 2nd VDM-Europe Symposium Dublin, Ireland …, 1988 | 38 | 1988 |
| The clean termination of iterative programs A Blikle Acta Informatica 16, 199-217, 1981 | 37 | 1981 |
| Doktryna jakości. Wydanie II turkusowe. Rzecz o turkusowej samoorganizacji A Blikle Helion One Press, 2017 | 31 | 2017 |
| MetaSoft primer: towards a metalanguage for applied denotational semantics A Blikle Springer Science & Business Media, 1987 | 31 | 1987 |
| Automaty i gramatyka: wstÄ™ p do lingwistyki matematycznej A Blikle PaĹ „stwowe Wydawnictwo Naukowe, 1971 | 28 | 1971 |
| Equational languages A Blikle Information and Control 21 (2), 134-147, 1972 | 26 | 1972 |
| On the development of correct specified programs AJ Blikle IEEE Transactions on Software Engineering, 519-527, 1981 | 24 | 1981 |
| A comparative review of some program verification methods A Blikle International Symposium on Mathematical Foundations of Computer Science, 17-33, 1977 | 22 | 1977 |
| Specified programming A Blikle Mathematical Studies of Information Processing: Proceedings of the …, 2005 | 20 | 2005 |
| AN EXTENDED APPROACH TO MATHEMATICAL ANALYSIS OF PROGRAMS. A Blikle | 20 | 1974 |
| An analysis of programs by algebraic means A Blikle Banach Center Publications 2 (1), 167-213, 1977 | 18 | 1977 |
| Proving programs by sets of computations A Blikle Mathematical Foundations of Computer Science: 3rd Symposium at Jadwisin near …, 1975 | 14 | 1975 |
| ITERATIVE SYSTEMS-ALGEBRAIC APPROACH A Blikle BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES …, 1972 | 13 | 1972 |
