【书名】：《FORMAL SPECIFICATION AND DESIGN》
【作者】：L.M.G.FEIJS H.B.B.JONKERS
【出版社】：CAMBRIDGE UNIVERSITY PRESS
【时间】：1992
【页数】：335
【ISBN】：0521435927
【SS码】：40413867