What is the average two years citedness of the creator of A shallow embedding of Z in HOL?
0.42307693
Jonathan P. Bowen is the author of the book "From MC/DC to RC/DC: A New Criterion for Software Testing.". Jonathan P. Bowen's name is Jonathan P. Bowen. Esther Palomar et al.: Component-Based Modelling for Scalable Smart Devices. (1985) authored by Jonathan P. Bowen. Jonathan P. Bowen is the author of Phan Cong Vinh and Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. (2007) authored by Jonathan P. Bowen. J Miklo<unk>ko and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395. Jonathan P. Bowen and Victoria Stavridou: Using formal specifications to support testing. (1993) authored by Jonathan P. Bowen. Jonathan P. Bowen alternative name Jonathan P. Bowen. Esther Palomar et al.: Component-based modelling for sustainable and scalable smart meter networks. (2014) authored by Jonathan P. Bowen. Jonathan P. Bowen is the Chairman of Museophile Limited. He has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute (New York City), and a visiting academic at University College London. He is also the author of Kalpesh Kapoor and Jonathan P. Bowen: A formal analysis of MCDC and RCDC test criteria. (2003) authored by Jonathan P. Bowen. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University. He is the director of the Centre for Applied Formal Methods.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: What is the average two years citedness of the creator of A shallow embedding of Z in HOL?
Context: Jonathan P. Bowen is the author of the book "From MC/DC to RC/DC: A New Criterion for Software Testing.". Jonathan P. Bowen's name is Jonathan P. Bowen. Esther Palomar et al.: Component-Based Modelling for Scalable Smart Devices. (1985) authored by Jonathan P. Bowen. Jonathan P. Bowen is the author of Phan Cong Vinh and Jonathan P. Bowen: A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. (2007) authored by Jonathan P. Bowen. J Miklo<unk>ko and V E Kotov (eds)Springer-Verlag, Berlin, FRG (1984) DM 89 pp 395. Jonathan P. Bowen and Victoria Stavridou: Using formal specifications to support testing. (1993) authored by Jonathan P. Bowen. Jonathan P. Bowen alternative name Jonathan P. Bowen. Esther Palomar et al.: Component-based modelling for sustainable and scalable smart meter networks. (2014) authored by Jonathan P. Bowen. Jonathan P. Bowen is the Chairman of Museophile Limited. He has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute (New York City), and a visiting academic at University College London. He is also the author of Kalpesh Kapoor and Jonathan P. Bowen: A formal analysis of MCDC and RCDC test criteria. (2003) authored by Jonathan P. Bowen. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University. He is the director of the Centre for Applied Formal Methods.
[/INST] Answer:
