A Method for Compiling and Executing Expressive Assertions | Publicación