Mohammad Shamsul Arefin  , 
    Structural Operational Semantics of Calling Methods in Java,
    Asian Journal of Information Technology,
    Volume 3,Issue 11,
    2004,
    Pages 1059-1064,
    ISSN 1682-3915,
    ajit.2004.1059.1064,
    (https://makhillpublications.co/view-article.php?doi=ajit.2004.1059.1064)
    Abstract: A good understanding of programming language can be developed and understood in a machine-independent manner called structural operational semantics. It is a mathematical model for specifying the meaning of a language by defining the effect of a running program in terms of its structure. The emphasis of this work is to present the structural operational semantics of calling methods that return type is void in Java.
    Keywords: