Alejandro Teruel

• Case studies in specification