Model-theory and implementation of property grammars with features | UPT Perpustakaan UHAMKA