% In \package{mlastyle}, The |KEY| field serves the additional purpose of
% specifying an abbreviated title. This is unnecessary in the above
% example. If an additional book by Leslie Lamport was included, however,
% In \package{mlastyle}, The |KEY| field serves the additional purpose of
% specifying an abbreviated title. This is unnecessary in the above
% example. If an additional book by Leslie Lamport was included, however,