Knowledge-based software development for real-time distributed systems - Jeffrey J-P Tsai (World Scientific, 1993)
yzd,2/nr,c.1-2