TY - BOOK AU - ISI TI - Expression of the properties PB - BIS ER -