TY  - BOOK
AU  - Lu, Ruqian
TI  - Domain Modeling Based Software Engineering: A Formal Approach
SN  - 079237889X
U1  - 005.1 LUR 
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Software Engineering
KW  - Formal methods (Computer science)
N1  - Table of Contents:
Part I: Introduction
ER  -