Говорящая информатика в mathematicalese

Я нахожусь в процессе записи довольно длинной монографии по теме информатики. Однако я обычно оказываюсь в положении необходимости записать некоторое понятие информатики в математическом элементе, и это трудно мне. Например, скажите, что я хочу записать для цикла или пустую функцию. Я действительно большую часть времени перехожу к своему Knuth или Cormen или Sedgewick, но они недостаточно теперь. Существует ли "руководство" или некоторый текст, который я могу взять в качестве примера для перевода информатики в математику?

Править

Позвольте мне быть более конкретным (спасибо, Uri). То, что я имею в виду: Например, у меня есть функция, которая является пустой, и она возвращает случайную строку длины n. Это вызвало мое любопытство, я даже не знаю, как представить пустую функцию в в математике..., но снова, это - просто пример.