В 2001 году я был в составе группы нашего института в Канаде, в Оттаве. Тогда у нас был контракт с канадской телекоммуникационной компанией Nortel (тогда Northern Telecom, ныне — Nortel Networks Corporation). Мы делали формальные спецификации для ядра ихней операционной системы и автоматически генерировали по ним тесты. Нашли довольно много ошибок, в том чисел, несколько критических. Но это другая история.
А в тот заезд были моменты, когда делать было нечего, и я развлекался тем, что рисовал картинки на маркерных досках.
Сегодня, копаясь в старых компьютерных папках, обнаружил фотографии этих рисунков.