Gravar-mail: Contracting for Computer Software in Standardized Computer Languages