https://123dok.net/document/qmjkp5xw-using-the-formal-framework-for-p-systems.html