1. Brink, C., Kahl, W., Schmidt, G. (eds.): Relational Methods in Computer Science. Advances in Computing. Springer (1997)
2. Desharnais, J., Mili, A., Nguyen, T.: Refinement and Demonic Semantics. In: Brink, et al. (eds.) [1], ch. 11, pp. 166–183 (1997)
3. Faulk, S., Finneran, J., Kirby, J., Shash, S., Sutton, J.: Experience applying the CoRE method to the Lockhead C-130J software requirements. In: Ninth Annual Conference on Computer Assurance, Gaithersburg, Maryland (June 1994)
4. Frappier, M.: A Relational Basis for Program Construction by Parts. Ph.D. thesis, Computer Science Department, University of Ottawa (1995)
5. Joseph, D.P., Tou, T.J.: On linear control theory. Transactions of the American Institute of Electrical Engineers. Part II: Applications and Industry 80(4), 193–196 (1961)