Towards a Formal Semantics of Parnas Tables. - Janicki, Ryszard (1995)