1. Ifill, W.: The Formal Development of an Example Processor in AMN, C and VHDL. Technical report, MSc thesis, Royal Holloway, University of London (1999)
2. Ifill, W., Schneider, S., Treharne, H.: Annotating B for Control. Technical report (2007)
3. Ifill, W., Sorensen, I., Schneider, S.: The use of B to specify, design and verify hardware. In: High integrity software, Norwell, MA, USA, pp. 43–62. Kluwer Academic Publishers, Dordrecht (2001)
4. Sorensen, I.: A Mathematical AMN State Based Description of the ASP. Technical report, AWE (1998)
5. Treharne, H., Schneider, S.: Using a Process Algebra to Control B Operations. In: IFM 1999: Proceedings of the 1st International Conference on Integrated Formal Methods, London, UK, pp. 437–456. Springer, Heidelberg (1999)