Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program | Publicación