Describir: Mathematical computer programs; a compilation.