Algorithm specification