APA Style
Ryan, P.
(1993).
Formal Methods in System Enginerring
(
1)
.
UK:
Spinger Verlag.
MLA Style
Ryan, Peter.
"Formal Methods in System Enginerring".
1
UK:
Spinger Verlag,
1993.
Book.