- Author: Львовский С.М.
- Language: Русский
- Year: 2006
- Author: Leslie Lamport
- Language: English
- Year: 1994
- Author: Reckdahl K.
- Language: English
- Year: 1997
- Author: George Grätzer
- Language: English
- Year: 2007
- Author: Говорухин В. Цибулин Б.
- Language: Русский
- Year: 2001