paper: formalize the pattern descriptions