«Случай — это псевдоним Бога, когда Он не хочет подписываться своим собственным именем.» А. Франс

Комментарии — PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru