Leung, Allen "Prop - Language Reference Manual"

Languages mentioned

• PROP {1997}