Groote J.F. Computer assisted manipulation of algebraic process specifications / J.F.Groote,B.Lisser, 2001. - 16 p. - Текст : непосредственный.
Numerical continuation of equilibria of physiologically structured population models / Kirkilionis M.A.,Diekmann O.,Lisser B.,Nool M.,. 1 : Theory, 1997. - 22 p. - Текст : непосредственный.
Everaars C.T.H. Coordination of a parallel proposition solver / C.T.H.Everaars,B.Lisser, 1998. - 18 p. - Текст : непосредственный.
Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.