Invia SMS: Program construction : international summer school / F.L. Bauer [and others] ; edited by F.L. Bauer and M. Broy.