Formal Specification of Parameterized Programs in LILEANNA (1997)

by W Tracz