Computing a Partial Mapping by a P System: Design and Verification - Antonio J. Pérez-Jiménez; Mario J. Pérez-Jiménez; Fernando Sancho-Caparrini (2003)