αSPIN: Extending SPIN with Abstraction | Publicación