Fernando R.T.P. Provably recursive programs / R.T.P.Fernando, 1992. - 9 p. - Текст : непосредственный.
Fernando R.T.P. primitive recursive set theory and AFA:On the logical complexity of the largest bisimulation / R.T.P.Fernando, 1992. - 15 p. - Текст : непосредственный.
Fernando R.T.P. Operational semantics,bisimulations and logical complexity / R.T.P.Fernando, 1993. - 12 с. - Текст : непосредственный.
Fernando R.T.P. Bisimulations and predicate logic / R.T.P.Fernando, 1993. - 15 p. - Текст : непосредственный.
Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.
Fernando R.T.P. Transition systems and dynamic semantics / R.T.P.Fernando, 1992. - 20 p. - Текст : непосредственный.