References

1

J R Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, 1996.

2

J R Abrial, E Borger, H Langmaack (Eds.), Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, Springer-Verlag, 1997.

3

C Beierle et al, Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Pages 52-78 of [2].

4

J.C. Bicarregui, K.C. Lano, T.S.E. Maibaum, Objects, Associations and Subsystems:
a hierarchical approach to encapsulation, ECOOP 97, LNCS, 1997.

5

Towards a Compositional Interpretation of Object Diagrams. J.C. Bicarregui, K.C. Lano and T.S.E. Maibaum. To appear: Proc. of IFIP TC2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, February, 1997.

6

R Büssow, M Weber, A Steam-Boiler Control Specification with Statecharts and Z. Pages 109-128 of [2].

7

J Cuellar, I Wildgruber, The Steam-Boiler Problem - A TLT Solution. Pages 164-183 of [2].

8

J. Fiadeiro and T. Maibaum Describing, Structuring and Implementing Objects, in de Bakker et al., Foundations of Object Oriented languages, LNCS 489, Springer-Verlag, 1991.

9

M-C Gaudel et al, A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Pages 233-264 of [2].

10

J Goguen and S Ginali, A Categorical Approach to General Systems Theory, in G. Klir (Ed.), Applied General Systems Research, Plenum 1978, pp 257-270.

11

K Lano, Specification of Steam Boiler Controller in RAL/VDM⁺⁺ and B, ROOS Project Document GR/K68783-15, 1997.

12

K Lano, J Bicarregui, J Fiadeiro, A Lopes, Specification of Required Non-determinism, FME 97, to appear in LNCS, 1997.