Subject: Re: request of references

From: "Prof K J Turner (Staff)" <[email-masked]>
Date: Tue, 21 Mar 1995 11:55:12 GMT

Bolognesi T, van de Lagemaat J and Vissers C.A. (ed), 

LOTOSphere: Software Development Using LOTOS, pp. 348-368, Kluwer
Academic Publishers, 1995.