TY  - BOOK
AU  - Luckham D
TI  - Programming with specifications
T2  - Texts and Monographs in Computer Science; 19
U1  - D65,8(B)92AN, N0 
PY  - 1990///
CY  - New York    
PB  -  Springer-Verlag        
KW  - programming
ER  -