Формализованные информационные модели: Примеры и фотографии