GitHub repository: regular-vm/specification
Description: REGULAR specification