ON THE EXPRESSIVE POWER OF SOME DYNAMIC LOGICS
comparison of various logics of programs
scientific article