Lefebvre, Vladimir A.. Elements of Reflexive Games Logic. Moscow, 1966.